Expressing Iterative Properties Logically in a Symbolic Setting
نویسندگان
چکیده
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed The semantics of the logic is given with respect to sym bolic transition systems Several motivational examples are included The reader is assumed to have passing familiarity with LOTOS
منابع مشابه
Symbolic computation of the Duggal transform
Following the results of cite{Med}, regarding the Aluthge transform of polynomial matrices, the symbolic computation of the Duggal transform of a polynomial matrix $A$ is developed in this paper, using the polar decomposition and the singular value decomposition of $A$. Thereat, the polynomial singular value decomposition method is utilized, which is an iterative algorithm with numerical charac...
متن کاملHybrid Classification and Symbolic-Like Manipulation Using Self- Regulatory Feedback Networks
We propose a hybrid model based on self-regulatory feedback. It is a connectionist network, which can be composed in a modular fashion. It can be composed of simple constructs that can be combined together to interact logically without requiring apriori declaration of ‘interaction-type’ connections. It is primarily a classifier but resolves binding and is pliable to certain symbolic manipulatio...
متن کاملParallel Symbolic Computing with the Shared Dataspace Coordination Model
Shared Prolog is a language for symbolic computing that combines distributed coordination based on a shared dataspace with sequential symbolic computation based on logic programming. Shared Prolog includes a concept of logically shared dataspace, thus introducing in parallel logic programming a coordination model different from the stream-based communication model of Flat Concurrent Prolog and ...
متن کاملEffect of Exponentially-Varying Properties on Displacements and Stresses in Pressurized Functionally Graded Thick Spherical Shells with Using Iterative Technique
A semi-analytical iterative method as one of the newest analytical methods is used for the elastic analysis of thick-walled spherical pressure vessels made of functionally graded materials subjected to internal pressure. This method is accurate, fast and has a reasonable order of convergence. It is assumed that material properties except Poisson’s ratio are graded through the thickness directio...
متن کاملThe Status of Allegory and Symbolic Language in Quranic Stories: A Review and Critique of the Theory of Fantasization
One of the common views in contemporary Quranic research is the dialog on the existence of allegory and symbolic language in the Quran and Quranic stories. Citing such arguments as the common literary style between the Quranic stories and human stories, the use of symbols with specific modes of expression in the Quran and the cases in which the Divine intent is expressed through questions and a...
متن کامل